Book Review: Differentiation of real functions

Book Review

...........................

Partial Differentiation of Real Ternary Functions

For simplicity, we adopt the following convention: D is a set, x, x0, y, y0, z, z0, r, s, t are real numbers, p, a, u, u0 are elements of R3, f , f1, f2, f3, g are partial functions from R3 to R, R is a rest, and L is a linear function. We now state three propositions: (1) dom proj(1, 3) = R3 and rng proj(1, 3) = R and for all elements x, y, z of R holds (proj(1, 3))(〈x, y, z〉) = x. (2) dom pro...

Partial Differentiation of Real Binary Functions

For simplicity, we adopt the following convention: x, x0, y, y0, r are real numbers, z, z0 are elements of R2, Z is a subset of R2, f , f1, f2 are partial functions from R2 to R, R is a rest, and L is a linear function. Next we state two propositions: (1) domproj(1, 2) = R2 and rng proj(1, 2) = R and for all elements x, y of R holds (proj(1, 2))(〈x, y〉) = x. (2) domproj(2, 2) = R2 and rng proj(...

Book Review

book review